projects / llvm-toolchain-9.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ff57840) | patch
Disable z3 to avoid pulling ocaml into main.
authorGianfranco Costamagna <locutusofborg@debian.org>
Sat, 10 Jul 2021 21:52:37 +0000 (22:52 +0100)
committerAndreas Beckmann <anbe@debian.org>
Sat, 10 Jul 2021 21:52:37 +0000 (22:52 +0100)
commit9a53b32a7843d6b4880f873c0af0fbe50d88bee6
tree39653f4b9fa8ea9feefbbef0b4b43683cb234fbbtree | snapshot
parentff57840e445cc5b7f53758c37bd8dbee35f4e3f7commit | diff
Disable z3 to avoid pulling ocaml into main.

For some reason the cmake option LLVM_ENABLE_Z3_SOLVER was not taken into account
Last-Update: 2019-11-26

Gbp-Pq: Name no-z3.patch
llvm/CMakeLists.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.